-
1 closed submodel
Большой англо-русский и русско-английский словарь > closed submodel
-
2 closed submodel
Математика: замкнутая подмодель -
3 closed submodel
мат. -
4 submodel
подмодель, субмодель -
5 замкнутая подмодель
Большой англо-русский и русско-английский словарь > замкнутая подмодель
См. также в других словарях:
Substructure — In universal algebra, an (induced) substructure or (induced) subalgebra is a structure whose domain is a subset of that of a bigger structure, and whose functions and relations are the traces of the functions and relations of the bigger structure … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia